Nuprl Definition : qdot
11,40
postcript
pdf
qdot(
as
;
bs
) == reduce(
p
,
x
. ((
p
.1) * (
p
.2)) +
x
;0;zip(
as
;
bs
))
latex
Definitions
reduce(
f
;
k
;
as
)
,
x
.
A
(
x
)
,
r
+
s
,
r
*
s
,
t
.1
,
t
.2
,
#$n
,
zip(
as
;
bs
)
FDL editor aliases
qdot
origin
p,x. ((p.1) * (p.2)) + x;0;zip(as;bs)) p,x. ((p.1) * (p.2)) + x;0;zip(as;bs)) x.A(x)